Все предложения очень интересны и будет каждое рассмотрено.
А насчет:

"1. Добавить возможность вставки горизонтальных линий-разделителей. Удобно отделять части логики в программе друг от друга."

, то ведь можно воспользоваться обычными переменными и разнести засчет их всю логику на отдельные области. В таком случае эти переменные играют роль просто связей (ссылок), "места" в программе для ПР они не занимают и для восприятия схема становится более понятной.