A Type Checker for the exported files
do we need something else?