Compiler: Added some explanatory notes. Explain the difference between push_compiler_frame0 and push_compiler_frame1.