Vector, array, and pointer types
Add liftMG for lifting of module generation actions into code generation contexts
Frozen modules should not interconvert with low level wrapper modules
Add missing exports