Organizing consistent-subtyping