added the ErrorPos constructor to annotate type errors with positions
added the ErrorPos constructor to annotate type errors with positions

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