Subtyping Constraints for Incomplete Objects