Parses functor expressions of the form `X^2` with corresponding
morphisms `{0: x, 1: y}`.

The latter should in theory also be writable as a product `(x,y)`, but
that would lead to ambiguity with the product parser, so currently
you'd have to use the functor `XxX` instead of `X^2` to get that
morphism syntax.