AST + type
Algo algo algo