Powerset.hs

This switches the parser for functor expressions (not yet morphisms)
from a YAML based one to a custom one, making those expressions much
more readable and giving individual functors greater flexibility to
define their own syntax.