age-based delta expansion implemented
age-based delta expansion implemented

the Grundlagen validates in 87s.
For a comparison:
Helena validates in in 25s but does not check the constraints on universes

LPCIC/elpi