Import all the server tests and make sure they pass validation here

[rhamzeh]

See: https://github.com/openfga/openfga/blob/main/pkg/typesystem/typesystem_test.go

@ewanharris has already started some of that work here

[ewanharris]

I started this and hit some failures in the cycle detection tests, I might as well push my branch up so we can chip away from time to time

[d-jeffery]

List of discrepancies while importing tests;
https://oktawiki.atlassian.net/wiki/spaces/SDCSTL/pages/3057322004/API+Discrepancies