Added rope to ignore list
Made prettyprinter more iterator friendly
Variable identification mechanism implemented
Curry support
Expression.freeVariables()
Substitution support