[ cov ] Implement labelling and simple model coverage #724

Job	Run time
Prepare `pack`	7m 56s
Build DepTyCheck docs	24s
Build thirdparties	2m 41s
Build DepTyCheck lib	2m 26s
Test DepTyCheck docs	2m 26s
Test DepTyCheck lib	17m 25s
Build PIL example	3m 31s
Aquire test sets for derivation	3s
Test DepTyCheck's derivation (arg-deps)	1m 16s
Test DepTyCheck's derivation (canonicsig)	1m 21s
Test DepTyCheck's derivation (cons-analysis)	1m 48s
Test DepTyCheck's derivation (derivation/core)	11m 23s
Test DepTyCheck's derivation (derivation/distribution)	10m 0s
Test DepTyCheck's derivation (derivation/infra)	8m 45s
Test DepTyCheck's derivation (derivation/least-effort/print/adt)	8m 14s
Test DepTyCheck's derivation (derivation/least-effort/print/gadt)	16m 24s
Test DepTyCheck's derivation (derivation/least-effort/print/regression)	5m 54s
Test DepTyCheck's derivation (derivation/least-effort/run/adt)	7m 11s
Test DepTyCheck's derivation (derivation/least-effort/run/gadt)	11m 3s
Test DepTyCheck's derivation (derivation/least-effort/run/regression)	3m 39s
Test DepTyCheck's derivation (inputvalidation)	1m 57s
Test DepTyCheck's derivation (involved-types)	1m 49s
Test DepTyCheck's derivation (up-to-renaming-ttimp-eq)	1m 41s
Test PIL example	1m 16s
	2h 10m 33s

Provide feedback