Guaranteed refactors: generating tests from types

Kofi Gumbs ยท