Make elimDesc I explicit.

Before we have true implicit arguments, we will bidirectionally
check constructor expressions and lookup eliminators in the environment.

The eliminators will need explicit parameters, hence the change to elimDesc