AST reducer

Progressing