Cleanup presentation, using the new Action class for substitutions.
With the lastest optimized coq with universes, 50% speedup in groupoid_*.v:
groupoid: 50s
groupoid_utility: 28s
groupoid_utility2: 29s
groupoid_interpretation: 3m20s.