Moving back to simple lists for parameters in the coq model.

I do not see the use of the special constructors in the current model, so removing them here as well.