Filter out type variables in type variable mapping for domain type translation.
Filter out type variables in type variable mapping for domain type translation.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors