rewrite of types introduced ComponentRef using ExistentialQuantifiaction