1.5.0
- added automation for general PCMs (currently contains a single
pullX
automation) - factored out common automation infrastructure for PCMs and maps
- added finite PCM products
- added a PCM instance for
option
- major refactoring of the
natmap
theory - additions to
prelude
and theunionmap
theory, speed upandP
reflections