Subtyping in DHOL -- Extended preprint