Type REconstruction in HexRaysCodeXplorer blog post