Bugfix: that could result in some nasty errors
Harden, comment core, spelling fixes

 - Add preconditions covering input on [Model] fns
 - Add assertions covering destructured values
 - Add type signature and documentation comments
 - Fix spelling of "verify-animosities" and update tests