Rename the port functions appropriately.
Refactoring of the memory subsystem.
Sync with halvm-ghc work.