Changes and additions for memory model

- Replaces type tags with actual types, I think it's clearer
- Filled in TODO sections
- Added description for resources
- Added example for by-ref returning
Modif*i*able, not modifyable.