Copy propagation for variables in premises
WIP on premise compilation.
Fix minor.
Rewrite v : TYPE to v ? TYPE and v ! TYPE => v' and update analysis accordingly
Type cast analysis bugfix.
Add support for type check and type cast to rule merging
Remove debug stmts
Make typecheck typecast and cast premises with full rights.
Extra library for querying types
Generate the harness for execution methods. Basic support for MergePoint, TryOr, Match, NMatch, TermEq, TermNeq.
Redone weaving of rule target (return statement).
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).
Emit correct java class name for bound variable.