add NUM_OF_INT to int_compset

Provide facilities for extending compsets with support for words, strings and integers.

Add an embodiment of the Omega d.p. for use inside the simplifier. It
can perform quite badly on goals with too many disjunctive assumptions
(and ~(x = y) counts as a disjunction).