Refactoring for conceptualizing type constraints