KJ-24 Improving rule names to be correctly included into Ctrl+Q view. Massive review of the whole code. Changed rule names, added todo-s here and there, changed code formatting of auxiliary functions.