Closer and closer to Grammar Encoder (still not wroking though)
Added Language abstraction
some grammar improvements
Yet more progress