Update Prelude to include new model helpers.

Indices, Constrs, Former, Inj, Elim