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 directly? Scheme prims are important for partial evaluation. This works now, except that things like (+ 1 (+ x 2)) won't work due to expression ordering.