Cleanup parse-type.

Add syntax class for @ and !.
Add use literal sets.
Make full-latent cleaner.
Split out implementation of define-literal-syntax-class.
Make parse type use literal-syntax-classes.

Fixes arrows in check-syntax.
Adds actual bindings for Top and Bot filters.
Make tests give more info on failure, and change test to not use Number.