We rewrote OpenFGA in pure Postgres