Process has a type parameter which is its schema

[prismofeverything]

• Allow all type parameters to elevate their type values into keys at the level of the process.
• Give Process the type process[ports], which then places whatever type parameter plays the role of ports into the schema under the key _ports