Type checking equality and ordering expressions