Update declaring version constraints
Update declaring dependencies
Improve installing Idris
Update use of Halcyon