Class AstTypeInference