Added documentation for Extensional Conciseness metric.