Finally fixed the handling of atomic and general networks.
Fixed handling of procedures for each calculus along with this.
This required many language extensions.
Many changes and bugfixes on angleConsistency of oriented points.