files are now typechecked after being transformed, in order to have a global type_error.txt file