A lot of fixes, but still now compiling
At least it compiles now
The system now compiles and runs, albeit with a problem when reading the prelude