no need for CMeasures in GhcSpec.

the constraint generator and fixpoint don't need to know about them at
the moment.