Add support for Multiple Phi States in conjugates

[andrew-johnson-4]

A + Phi::State<Phi1::B + Phi2::C>

is perfectly valid logically, but it doesn't work across a variety of utility functions and syntax positions

Note: Phi::States should be unified into a single node so that .slot will work and zipper unification works too.