start on updating compilerProofs for new compile_dec

probably best to define the Tmod case first, though, since the
definition will probably need to change again a few times...