1) for better indexing the name of the theorem was moved in first position
1) for better indexing the name of the theorem was moved in first position

2) impl is not anymore a type. Instead arr is the corresponding type.

LPCIC/elpi