Remove dead code and unused constructors from `ParseError` datatype.
Remove dead code and unused constructors from `ParseError` datatype.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script