Moved Control.PFunctor to Control.Proxy.Morph
Reverted observe
Added Monads over Proxies
Polished source code