implement Parameters class

[alixdamman]

Same as ConstrainedSession class (see #832) but:

• declared variables cannot be modified after initialization
• adding undeclared variables after initialization is forbidden.

[alixdamman]

done in commit 873717d