Phrases from any semantically meaningful syntactic class may be parameters.
- Potential parameters:
- Numerals, expressions, locations, declarations, commands,
type-structures, ...
- Potential constructs for parameterization:
- For the moment, restrict to abstractions.
- Applications of abstractions in variety of situations.