- added CUnit Tests for library
- fixed bugs
- implemented methods that were missing after refactorings
- added heterogeneous functions (lefttotal, functional, bijective...)
- added lattice / sublattice; 
- added guess / find transitive core
- added additional min/max functions