add parameters and specify their default values

Parameters can be defined for model components of type system, module, and primitive, but not for libraries and FSM primitives. They are called formal parameters.