Fixed a (co)depth updating bug
Improved exprparser and fixed prettifier
Fixed an idiotic bug in transformmanager
Fixed EqProverApp's arity limiter