See: https://github.com/openfga/openfga/blob/main/pkg/typesystem/typesystem_test.go @ewanharris has already started some of that work [here](https://github.com/openfga/language/tree/chore/move-over-tests)
