Thu Jan 24 11:48:04 CET 2013

Testability / partial evaluation

Currently there are Scheme and C primitives.  These should be the
same.  How to enforce that?  Is this a problem that will eventually be
non-existant, or should we scrap the prim.rkt and only compile to C

Scheme prims are important for partial evaluation.  This works now,
except that things like (+ 1 (+ x 2)) won't work due to expression