Small bug cornered and killed in TypeFactory#sub_type related to constraint names