Some more doc here and there in the compiler.