📄️ TermInt
type definition:
📄️ TermBool
type definition:
📄️ TermBS
type definition:
📄️ TermStr
type definition:
📄️ TermList<PElemsType>
type definition:
📄️ TermPair<PFstT,PSndT>
type definition:
📄️ TermFn<PIns[],POut>
The type definition of TermFn is more complex than what it actually does; but that is only because it automatically handles functions with an unspecified (potentially infinite) number of parameters.
📄️ TermStruct<StructDef>
TermStruct is an other type that is unnecessarily complicated.