changed some names
added Attoparsec variant
new tex-check version
tex-check can handle @ as verbatim
tex-check uses exceptions
attoparsec version of tex-check
updated tex-check to match attoparsec version
tex-check: analog versions (atto and maybe)
tex-check: small fixes
tex-check: small fixes