More better handling of typeTests in patmat.

Now reuse symbols from typer. Less substitutions -> better performance.