version 0.3:
- Replaced Generic_Var by UsualDecidableType, updated all the code accordingly.
version 0.2:
- Split properties between concrete and abstract representation.
version 0.1 - first public release