Mon Jun 9 16:06:41 CEST 2008

base semantics

Looks like i need a representation of base semantics of stack
manipulation operators. This can then be used to generate substitution
rules for the pattern language, and perform dataflow analysis. I've
added a file stackop/stackop.ss that's not used yet to put this info.