Minor updates to the specification

- Updated the definitions of the Parameter and TemplateParameter concepts.