Put the CMM objects in the GHCi library too