Start to replace pattern matching with elims in model.
Infer parametric argument of elimList