Fix syntax error in coq code
More on removing data type parameters in MAlonzo