The type of terms

Equality over terms.

Hashing function for terms. Should be such that two terms equal according to equal have the same hash.

Printing function used among other for debugging.