.mle test files were not explicitly typed programs