Expose more types (esp. array)
Expose some modules
   add module support to types
Add checkpointing
Add read stamp checks
Add write stamp checks in array
Add constructors
Support parameterized types
Record type builder?

Comments from code review

    Check on args beyond first N really working (e.g. when passed on stack)
    do offsetting in surr_get_address
