speed up type inference
speed up TH-preprocessing
speed up compilation by removing unnecessary type inference