Major changes. Renamed module, rebuilt Monoid instances, moved evOk