Differentiation of TermS and Subst #96

Job	Run time
Build Haskell library with nix (agda-core-hs)	1m 10s
Typecheck with Agda with nix (agda-core-lib)	49s
	1m 59s

Provide feedback