No need to check in types for uniqueness
No need to check LHS for unique usage

Any duplication will be enforced by unification, and won't lead to
sharing itself (does suggest the function will be hard to apply in
interesting contexts though...)
Enable :unlet for ideslave
Merge branch 'unique'
Merge branch 'master' of github.com:idris-lang/Idris-dev
Use believe_me for DecEq on primitives

This way, they can compute at the REPL, which is far more useful
behaviour when testing (it is about the only legitimate use for
believe_me in my opinion too :)).
Merge pull request #1495 from edwinb/unique

Uniqueness changes
Merge pull request #1496 from edwinb/postulate-deceq

Postulate deceq
Update version number for CUFP release
Error when using empty namespace for disambiguation at REPL

Fixes #1497.
Merge pull request #1499 from Melvar/ideslave-unlet

Enable :unlet for ideslave
Merge pull request #1498 from david-christiansen/issue/1497

Error when using empty namespace for disambiguation at REPL
Uniquify binder names when leaving executor

This mimics the evaluator more closely and prevents shadowing bugs.
Merge pull request #1501 from david-christiansen/uniquify-executor

Uniquify binder names when leaving executor
Refactor :search to remove code duplication and name shadowing
EitherErr Applicative for Functor-Applicative-Monad_Proposal
fix compatibility with optparse-applciative 0.10
  - the `option` API is changed
  - `execParserMaybe` is deprecated
Try symmetry of equality in :search
Fix logical error in :search's unification resolution
Annotate several top-level functions