Remove nullable type-value and explicitly specify individual type-value as nullable #76
Description
We now explicitly specify nullable types starting with PR #75.
-
Remove null as an option for type-value.
-
Specify null as an option for capability-type-value and restricted-type-value.
-
Add valid requirement for unique name in function-type.type-parameters.
Thanks @turbolent for great suggestions during our discussions on Slack and for opening PR 75!