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.
Renamed the repo to "Zeno"!
Made plotting in benchmark.hs aware of actual ranges.
Merge branch 'develop'
version: 13.02.13, deemed stable enough.