Guaranteed refactors: generating tests from types

Kofi Gumbs ·