https://123dok.net/document/zp00g0oq-a-framework-for-defining-object-calculi-extended-abstract.html