Type-Safe framework for defining, modifying, and querying SQL databases - View it on GitHub