Updated CMseq model to match new updates of the type checker