Rationalise eq fns in boolLib to have _eq suffix

Exception is Teq and Feq, which are not eq functions (binary
relations), but are actually unary predicates on terms.

Remove eqtype declaration for term type

Fix in unwindLib to cope with renaming of CONJUNCTS_CONV.

Upgraded to Kan.0.

Trivial changes to accommodate parser upgrade.

Initial revision