[ cov ] Implement labelling and simple model coverage #739

Job	Run time
Prepare `pack`	10m 13s
Build DepTyCheck docs	24s
Build thirdparties	2m 40s
Build DepTyCheck lib	2m 25s
Aquire test sets for derivation	3s
Test DepTyCheck lib	18m 1s
Test DepTyCheck docs	2m 16s
Build PIL example	3m 15s
Test DepTyCheck's derivation (arg-deps)	1m 24s
Test DepTyCheck's derivation (canonicsig)	1m 21s
Test DepTyCheck's derivation (cons-analysis)	3m 32s
Test DepTyCheck's derivation (derivation/core)	7m 58s
Test DepTyCheck's derivation (derivation/distribution)	9m 23s
Test DepTyCheck's derivation (derivation/infra)	11m 30s
Test DepTyCheck's derivation (derivation/least-effort/print/adt)	7m 56s
Test DepTyCheck's derivation (derivation/least-effort/print/gadt)	12m 55s
Test DepTyCheck's derivation (derivation/least-effort/print/regression)	4m 58s
Test DepTyCheck's derivation (derivation/least-effort/run/adt)	8m 15s
Test DepTyCheck's derivation (derivation/least-effort/run/gadt)	11m 23s
Test DepTyCheck's derivation (derivation/least-effort/run/regression)	4m 39s
Test DepTyCheck's derivation (inputvalidation)	1m 23s
Test DepTyCheck's derivation (involved-types)	1m 47s
Test DepTyCheck's derivation (up-to-renaming-ttimp-eq)	1m 32s
Test PIL example	1m 26s
	2h 10m 39s

Provide feedback