Abstract syntax tree of the default calculus intermediate representation

Reference interpreter for the default calculus

Optimization passes for default calculus programs and expressions

Printing functions for the default calculus AST

Typing for the default calculus. Because of the error terms, we perform type inference using the classical W algorithm with union-find unification.