Differentiate Terminal Nodes

[siwells]

In order to make it easier to "read" an argument diagram, it could be useful to differentiate terminal nodes, that is, those atoms which act as conclusions but which themselves do not in turn support further arguments. This would enable a user to easily pick out the conclusions when presented with a new diagram.