renamed Orderings into Ordering; more type-related stuff in Term