get the cmm to typecheck