Type Return Cyclic
Type Return Open
Out: Scope Name Type
Type Return Deg
Type Initial
Type Inout Const pe
