[ cov ] Implement labelling and simple model coverage #748

Job	Run time
Prepare `pack`	9m 13s
Build DepTyCheck docs	25s
Build thirdparties	3m 17s
Build DepTyCheck lib	2m 28s
Test DepTyCheck lib	17m 39s
Aquire test sets for derivation	2s
Build PIL example	3m 41s
Test DepTyCheck docs	1m 49s
Test DepTyCheck's derivation (arg-deps)	1m 17s
Test DepTyCheck's derivation (canonicsig)	1m 47s
Test DepTyCheck's derivation (cons-analysis)	1m 24s
Test DepTyCheck's derivation (derivation/core)	10m 40s
Test DepTyCheck's derivation (derivation/distribution)	7m 52s
Test DepTyCheck's derivation (derivation/infra)	10m 41s
Test DepTyCheck's derivation (derivation/least-effort/print/adt)	8m 58s
Test DepTyCheck's derivation (derivation/least-effort/print/gadt)	13m 48s
Test DepTyCheck's derivation (derivation/least-effort/print/regression)	4m 11s
Test DepTyCheck's derivation (derivation/least-effort/run/adt)	7m 59s
Test DepTyCheck's derivation (derivation/least-effort/run/gadt)	14m 7s
Test DepTyCheck's derivation (derivation/least-effort/run/regression)	5m 13s
Test DepTyCheck's derivation (inputvalidation)	3m 11s
Test DepTyCheck's derivation (involved-types)	1m 29s
Test DepTyCheck's derivation (up-to-renaming-ttimp-eq)	1m 37s
Test PIL example	1m 11s
	2h 13m 59s

Provide feedback