tweak some wordings
don't crash for top level satisfier
CHANGES.md: document the bug fix
README.md: Muack as a development static typing system