Got Type Checking working

Works for method return types, assign stmts, and binary expns.