Doc work part4

Here is some more documentation about the compiler that I've written.