add inherited restriction base type