Correct typechecking of main. Be less verbose in output.txt.