typecheck unary exp