Compile reductions in premises.
Remove debug statements.
Generate pattern matches and variables binding them.
Generate Java for typecheck
Generalize the variable assignment (Match into variable)
Add internal error check for missing variable definition
Better query for variables. Fixed generation for match into variable.
Pull escaping of variable names to outside of the analysis (breaks name -> def links otherwise).