Operations on Document and Rules for full IN system

Operations were performed in a Network and now are performed in the Document.
Since the document contains several networks, the operation can change just one network or many at the same time.
The automatic generation of Interaction Nets textual description now covers the all system, this means that automatic generation of textual description for rules had been added.
It also fixes display of edge names.