Avoid the substitution of all symbols.

Since the 'default' version seems to be quite slow, we're attempting
to reduce the number of symbol substitutions (while getting the tpe),
so we won't substitute if the signature doesn't contain certain
symbol.
The 'concreting' method was not optimized at all.