Began implementing polyadicity
Began refactoring for a list of names as a message. Began refactoring so that parallel composition is n-ary and the completed process is an empty parallel composition.
More refactoring
Refactoring to unify the two syntax types. Lots left to do here. Build broken (obv).
Modified Main to just print an AST while the interpreter is waiting to be refactored. Fixed pretty printing of terms.
Continued term type refactor
Made Parallel iterable
Continued refactor
Fixed error in Term.java
Finished term type refactor
Polyadic terms implemented