Add unproven traits finder
Cleanup partials