pub fn pretty_check_file(file: &Path) -> Result<(TypeEnv, Option<Type>)>