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 #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