A subtyping for Extensible Incomplete Objects