Terms/types cleanup
Implement negation unop