A Type Checker for the exported files

• We have written a type-checker (almost finished) for the exported files to be sure that all the interesting information was exported

• The type-checker is used to check either theories or single objects