Possibility of saving inferred types in AST for usage in Java.