introduce is? method for logictype and use it.
fix logic.name pitfalls (by using to_s).
Merge branch 'augmenting249_display_symbols_as_dag' into develop