Started writing classes to represent the abstract syntax of the pi calculus