Updated readme with same content as .cabal file.
Made benchmarks compile again.
Poly lens can be strict, no need for additional laziness.
Better English.
Made fclabels function for turning normal record declarations into labeled versions.
Minor doc update.
Allow derivation of labels for GADTs.

No totality checker implemented yet.
Implemented simple unification based totality checker for GADT indices.
Also test fclabels functions.
Bump and updates changelog.