Fix compare for DirectProduct(dim:NNI, PositiveInteger)
Unify associative and nonassociative categories
Remove LinearlyExplicitOver Integer from SingleInteger
Correct a few typos
Minor cleanups
Remove unsound structure from completions
Remove unused literate markup
Backport some changes from Open Axiom
Add hash for SAE
Add algebraic topology domains