[ cov ] Implement labelling and simple model coverage #763

Job	Run time
Prepare `pack`	10m 23s
Build DepTyCheck docs	16s
Build thirdparties	2m 45s
Build DepTyCheck lib	2m 35s
Test DepTyCheck docs	1m 51s
Aquire test sets for derivation	4s
Test DepTyCheck lib	18m 49s
Build PIL example	3m 39s
Test DepTyCheck's derivation (core)	8m 59s
Test DepTyCheck's derivation (distribution)	6m 13s
Test DepTyCheck's derivation (infra)	8m 24s
Test DepTyCheck's derivation (inputvalidation)	1m 30s
Test DepTyCheck's derivation (least-effort/print/adt)	9m 53s
Test DepTyCheck's derivation (least-effort/print/gadt)	14m 16s
Test DepTyCheck's derivation (least-effort/print/regression)	6m 6s
Test DepTyCheck's derivation (least-effort/run/adt)	9m 2s
Test DepTyCheck's derivation (least-effort/run/gadt)	15m 21s
Test DepTyCheck's derivation (least-effort/run/regression)	4m 24s
Test DepTyCheck's derivation (utils/arg-deps)	1m 44s
Test DepTyCheck's derivation (utils/canonicsig)	1m 21s
Test DepTyCheck's derivation (utils/cons-analysis)	1m 55s
Test DepTyCheck's derivation (utils/involved-types)	1m 50s
Test DepTyCheck's derivation (utils/up-to-renaming-ttimp-eq)	1m 23s
Test PIL example	1m 36s
	2h 14m 19s

Provide feedback