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