Added evidence-based approach for MonadPlus and FilteredMonad
Converted writer monad implementation
Added roundtrippable string display method for CnxnCtxtLabel