Sat Oct 9 17:41:39 CEST 2010

C primtives in new VM

This poses a problem as the primitives need run-time tagging; all the
other code is untyped (pre-checked statically typed).

Instead of thinking of primitives as functions, it might be
interesting to think of them as closures, i.e. with a full lexical