added compare class to exprs
fixed var declaration before use; added tests
Removed all resolveTypes method calls. Starting typing over.
Removed stupid selected_type error and fixed a test.