make BinExp a module, add ArithmeticExp
type-check FunCallExps, (but not args yet), RelExps, and ArithmeticExps