Adding type-level GEP tests
Make it a library