Project for building type-safe statements