Shared, type inference: Add inference for type parameters with constraints (base type mentions)

Shared, type inference: Add inference for type parameters with constraints (base type mentions) #8474