[ cov ] Implement labelling and simple model coverage #761

Job	Run time
Build DepTyCheck docs	22s
Prepare `pack`	9m 12s
Build thirdparties	2m 50s
Build DepTyCheck lib	2m 54s
Test DepTyCheck docs	1m 44s
Test DepTyCheck lib	17m 47s
Aquire test sets for derivation	6s
Build PIL example	4m 21s
Test DepTyCheck's derivation (core)	8m 23s
Test DepTyCheck's derivation (distribution)	6m 16s
Test DepTyCheck's derivation (infra)	10m 2s
Test DepTyCheck's derivation (inputvalidation)	3m 43s
Test DepTyCheck's derivation (least-effort/print/adt)	8m 58s
Test DepTyCheck's derivation (least-effort/print/gadt)	13m 27s
Test DepTyCheck's derivation (least-effort/print/regression)	4m 27s
Test DepTyCheck's derivation (least-effort/run/adt)	11m 47s
Test DepTyCheck's derivation (least-effort/run/gadt)	12m 53s
Test DepTyCheck's derivation (least-effort/run/regression)	5m 1s
Test DepTyCheck's derivation (utils/arg-deps)	1m 21s
Test DepTyCheck's derivation (utils/canonicsig)	1m 26s
Test DepTyCheck's derivation (utils/cons-analysis)	1m 43s
Test DepTyCheck's derivation (utils/involved-types)	1m 35s
Test DepTyCheck's derivation (utils/up-to-renaming-ttimp-eq)	1m 14s
Test PIL example	1m 35s
	2h 13m 7s

Provide feedback