fixed a couple bugs with binary ops and method return types
compileTerms should work