Boolean has_Length and _divides
Recursion with different relations solved
Clean code
warnings solved
Simplified not expressions
Documentation update
Aggregation functions
Clean code
Aggregation with anonymous variables bugfix
Bugfix: Meaning of the universe
update CHANGES
documentation update
Update README
Update README