Automatically generating types by running tests

Integration