nominal_subtyping