Add TypeReconstructor to avoid re-using type checker