Full rewrite

We rewrite the package by overloading the exo and enumerate environments.