Add equals() and hashCode() for param.ChoiceListFlexi.
Add param.ExprFunction & co.
Extend ParamModel with information about reactions and reaction rates.
Implement the CAV13 method within ParamModelChecker.
Let -pse take advantage of the param functionality instead of explicit.ranged.