Reformat and document Sym*Info
Document Types
Known issues
README: Add note about validation