Removed '_|_' as a built in declaration and renamed it to 'Void',
'FalseElim' now 'VoidElim' to match up
Renamed VoidElim to void in order to ensure further consistency
Merge pull request #1619 from ahmadsalim/feature/renamevoid

Removed `_|_` as a built in declaration and renamed it to `Void`
Allow Partial Eval of lambdas/lets in static pos
Increment IBC

This isn't strictly necessary since there's no format change, but there
has been a huge library renaming including some internal things, and
some things may end up stale by mistake (it just happened to me) so it's
mostly defensive, to prevent any confusing errors...
Merge pull request #1630 from edwinb/partial-eval

Allow Partial Eval of lambdas/lets in static pos
Merge pull request #1631 from edwinb/force-ibc

Force ibc
Remove dead code in support
Merge pull request #1632 from edwinb/remove-support

Remove dead code in support
Parameters should be made 'static'

When a static argument has parameters, those parameters should also be
made static in all cases. Less restrictive than the rule for indices,
which requires that the index be uniquely inferrable from the static.
Merge branch 'partial-eval' of github.com:edwinb/Idris-dev into partial-eval