https://123dok.org/document/4zpm49oz-matching-constraints-for-the-lambda-calculus-of-objects.html