Treat memory allocation as effect?

[Arrrrrx2]

> there are contexts where being able to assert "no allocation" would be 
> powerful.

Agree. A hint disable by default alerting you on where allocations will happen 
would be nice.