The main improvement which could be done is to enhance the Validator module to generate missing rules if an incompleteness is detected. In conjunction with the Editor's support for colored objects, it could be an important feature which allows to create a complete logic smoother and faster.