Merge commit 'v2.0'
Merge branch 'release-2.2'
bugfix
bugfix
Autodetect left edge of compressed proof from $p statement column
classpath changes
Initial change from derivStep.hyp.length to assrtLogHypArray.length
Added special function to process full autocomplete
Updated comments
Comments update
Refactored unification algorithm