Fix elimschemes accessing directly the universe context of inductives (fixes test-suite
file HoTT_coq_089.v).