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