Abstract binding tree abt

An enriched Abstract syntax tree (AST) with bindings and scopes. According to Practical foundations for programming languages , each node in an ABT is either a Variable or an Operator whose arguments are Abstractors.