A Type Checker for the exported files
do we need something else?
The type-checker is used to check both theories and single objects