try to find a TC dictionary that is used in a dynamic expression also in the dictionaries of constructors
with dictionaries that are used in a pattern match.
First try to find them in convertDynamicTypes in dynamic patterns and function constraints, if that fails,
create an EI_TypeOfDynamicAndTCsToFind, and try again in updateExpression, if that also fails report an error.