Bug#1061476: Transition slot for elpi

[julien . puydt]

Hi,

is there a particular problem with what I'm proposing? I checked and
didn't see any collision with an ocaml transition or some such.

Thanks,

J.Puydt