Add /not_null/ and topological intersection on zones
Add Normal, Comparable and constructible functions
Add /abs/ operator that normalize a location, and test on "=" operator

correct normalization operation