Class ParseTreeTypeInference