SI-7120 Erasure should be aware of type prefixes

Erasure was ignoring these, which led to unnecessarily
wide types in quite particular circumstances. This showed
up as a double definition error in the reported bug when the
bridge method clashed with the erased signature.