Inserted Apply into hierarchy.
Inserted Bind into hierarchy.
Fix optimizer issues after splitting up Monad.