basic type annotation
misc leaf cases done
misc simple typing
Basic type propagation
replaced special handling with general matching and typed operators
Trim a bunch of useless routines
Handle more Stmt forms