Memory allocation extension

The purpose of this extension is to provide a means of specifying how memory should be allocated. This is primarily intended for use in other extensions, e.g. ableC-closure and ableC-vector.

TODO: more details/examples here.