IDs in AST nodes
compute operator semantics tables
support comments in the middle of a line comntinuator
added some explicit signatures
added warning
activate option -safe-string from OCaml 4.02
first, over-engineered version of the prototype interpreter
more primitives
(partial) naming / typing of primitives
program renaming
a bit of cleanup