Module context

Do not review yet, I'm expecting failures.
I have to add something here.
Right now we kind of have two different levels of module auto inclusion.
Because I have to generate clean parsers for modules, I include the `AUTO-INCLUDED-MODULE-SYNTAX` in the main syntax module, and generate a parser for programs. Then I move on to the rule parser, which needs more syntax. Then I include the next module: `AUTO-INCLUDED-MODULE`. The step you described in the previous comment, handles only the second stage. What I'm doing here, is the first stage.

I know this is a really ugly thing. I will try to think of something cleaner for the new parser prototype. Probably I won't include anything in the beginning.