Fix correctness bug in validEqnSeqq
Check "To show"
Add termParser
Require variable names in case statements
more robust parsing