minor changes.
Switch to overload of monad functions instead of traits/mappers.
minor relational operator fixes. use fmap instead of mbind.