Finished type checking expressions. Need to add debug statements and test.