[ minor ] Bunch of minor updates and cleanups #1009

Job	Run time
Build DepTyCheck docs	15s
Prepare `pack`	1m 23s
Build thirdparties	53s
Build DepTyCheck lib	1m 23s
Test DepTyCheck lib	17m 52s
Aquire examples	2s
Aquire test sets for derivation	2s
Test DepTyCheck docs	1m 6s
Build and test examples (pil)	53s
Test DepTyCheck's derivation (core)	3m 7s
Build and test examples (sorted-trees)	9m 34s
Test DepTyCheck's derivation (distribution)	5m 55s
Test DepTyCheck's derivation (infra)	4m 26s
Test DepTyCheck's derivation (inputvalidation)	45s
Test DepTyCheck's derivation (least-effort/print/adt)	2m 13s
Test DepTyCheck's derivation (least-effort/print/gadt)	3m 38s
Test DepTyCheck's derivation (least-effort/print/regression)	1m 35s
Test DepTyCheck's derivation (least-effort/run/adt)	2m 14s
Test DepTyCheck's derivation (least-effort/run/gadt)	3m 6s
Test DepTyCheck's derivation (least-effort/run/regression)	1m 30s
Test DepTyCheck's derivation (utils/arg-deps)	46s
Test DepTyCheck's derivation (utils/canonicsig)	41s
Test DepTyCheck's derivation (utils/cons-analysis)	49s
Test DepTyCheck's derivation (utils/involved-types)	52s
Test DepTyCheck's derivation (utils/up-to-renaming-ttimp-eq)	44s
	1h 5m 44s

Provide feedback