First renaming attempt
Renaming of built-in datatypes works finally
Finished making standard library naming consistent
Fixed some tests broken under renaming
Added update about renaming to CHANGELOG
Fixed some accidentally wrong renamings.
Also, adapted some tests to the new names
Fixed broken provider test after providing `()` as `Unit` too
Fixed lack of renaming of `lift` to `Lift` in test
Renamed 'lteSucc' and 'lteZero' in tests to 'LTESucc' and 'LTEZero'
Really replaced `lteZero` with `LTEZero`
Merge branch 'feature/renaming' of github.com:ahmadsalim/Idris-dev into ahmadsalim-feature/renaming

Conflicts:
	libs/prelude/Prelude/Vect.idr
Merge branch 'ahmadsalim-feature/renaming'