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
Add hash for Fraction
Add specialized completeSmith
Implement hashUpdate! for Float