Added extra info to each selector and constructor.

* Constructors now also have an arity.
* Selectors list their position in each constructor.

(see #38 for a similar patch; should be mutually exclusive; I prefer #37)