Sat Jul 23 19:14:32 CEST 2011

Symantics => Num, or the other way around?

So I wonder maybe it's simpler to work the other way around?  Make
(Symantics repr) depend on (Num (repr Tint), Num (repr Tfloat))

This could be a mistake though.  The point is not to implement Num,
the point is to have a good description of the syntax.  It might be
necessary to use just Symantics but not Num.

I.e. we want to have a simple language def and if possible also be
able to lift Num -> Symantics.