New numbers

Compiled: 717 files
Success: 638
Type checker: 74 files with errors
Type checker: 665 error messages
Compiler: 5 errors