Restructured descriptors

Descriptors used to be of type List[Any]. Now they are of type
List[Product[String, Any]] which makes more sense from a semantical
point of view.

Added a flag to disable well-formedness checks during Aurora term
construction. Disabling those checks increases the performance
by an order of magnitude.