kframework/k — pull request #1084 by osa1 (2014-10-22 16:00:30+00:00)
Title: Context refactoring -- prelude

This is only the most basic stuff. I'm working on figuring where to move rest of the attributes/methods.

About removed `CollectBracketsVisitor` visitor: Generated data was never read so I just removed the visitor and the related attribute in `Context`.