Sat Jan 22 09:26:14 EST 2011

Signatures and syntax

I currently have the num^ signature extended with macros +,-,* that
simply rename to add,sub,mul respectively.  However, andy kind of
compile time behaviour can be inserted at this point.  Right now that
doesn't seem necessary since the point is to put all the
interpretation behaviour in the abstract domain and its driver.

EDIT: added arity checking