Update declaring version constraints
Update declaring dependencies
Improve installing Idris
WIP