Sun Nov 30 10:31:31 EST 2014

Float / Int

Time to fix it properly.
Where is the typing happening?

Time to decouple that?  Probably not.. Very interwoven and would
require a separate representation - possibly making things more

It seems that the primitives just need to be typed properly.  Maybe
best to add some explicit conversions?

In order to do this properly, first set up a test.

EDIT: Was already there in the form of cast/n primitive.  However,
that isn't correct: it decouples unification completely.  It works in
some cases because there is enough type information coming in before
the cast.  Fix this when it becomes a problem?