https://5dok.org/document/y8gr9010-notions-semantics-simple-theory-types.html