Added extra info to each selector and constructor.

* Constructors now also have an arity.
* Selectors list their position in each constructor.