Type sig refactorings