rename ReifiedVM to VMPort

* We want simple identifiers for VMs such as integers or names.
* Move it to port{-decl,}.h.
Introduce VM identifiers: increasing SmallInts

* So we can pass a VM identifier to another VM and distinguish them.
Add {VM.getPort VMIdent} to get a VMPort from a VM identifier