Cleaned up env and store, streamlined types, and some jargon changes.

The convention for the builtin parser is now that primops will be prefixed with op: not prim:. Also they're just ops now, in common language as well as in the name of the CESKM method.