copilot-language-2.2.1: dependencies

Dependencies for copilot-language-2.2.1

library	array base (>=4.0 && <5) containers (>=0.4) copilot-core (>=2.2.1) copilot-theorem (>=2.1) data-reify (>=0.6) ghc-prim (>=0.2) mtl (>=2.0 && <3)