*** Significantly speed up type resultion