Finally fixed handling of atomic and general networks.
Fixed handling of procedures for calculi along with this.
Needed to activate many language extensions to do this.
Many changes and bugfixes on angleConsistency for oriented points.