Better fix for mutable hash-tables: copy it first
Add a bounded lattice on numbers
fixup
Fix bug in make-bounded=semi-lattice
Spelling error fix