/Я language (β)/Morphisms/

Limited set of reserved expressions:

is ⋅ it ⋅ be ⋅ field ⋅ on ⋅ derive ⋅ within ⋅ happen ⋅ that ⋅ this ⋅ supertype ⋅ subtype ⋅ basetype ⋅ boundtype ⋅ rewrap ⋅ wrapped ⋅ intro ⋅ outro ⋅ empty ⋅ fetch ⋅ relay ⋅ not ⋅ swap ⋅ pop ⋅ push ⋅ top ⋅ key ⋅ shift ⋅ exact

Generalized internal expressions:

identity ⋅ initial ⋅ terminal