added type checker for binops and unops