Add Attachment:STR-318: format-check fails when reporting incorrect types at top-level (start-symbols)