A collection of type-inference refactorings.