Adding first attempt of consistent-subtyping