haskell-STMonadTrans: new expression

Conflicts:
	pkgs/top-level/haskell-packages.nix
haskell-equivalence: new expression
haskell-boxes: new expression

Conflicts:
	pkgs/top-level/haskell-packages.nix
Agda: add 2.4.0.1, 2.3.2.2 is still the default for now

Conflicts:
	pkgs/development/compilers/agda/2.3.2.2.nix
	pkgs/development/compilers/agda/agda.nix
	pkgs/development/compilers/agda/stdlib-0.7.nix
	pkgs/development/libraries/haskell/Agda/default.nix
	pkgs/top-level/haskell-packages.nix