exp_has_ty_unique
wip on simple_narrow_sub