Added debinarization and unary expansion. Added appropriate tests. Separated special symbols used for preprocessing as class constants of Node.