Add support for local parameters

[exaexa]

Putting this here as a reminder

also possible:

• simplified removal of local parameters
• simplified substitution of parameters and function definitions into kinetic laws