Some functional goodies for Otter, for use in convergence

- depend on pyrsistent
- add freeze and unfreeze functions to otter.util.fp
  (to be contributed to pyrsistent)
- add "partition_bool" and "partition_group" functions to otter.util.fp
  (to be used by convergence)
+1 for using `eqtype` internally