Improve parser errors in dependent type signatures
Lifted TODO/FIXME issues to the issue tracker.
added ":refine", ":ref", "refine!" and "ref!" to the autocompletions in the REPL
added IOExcept handler to FileIO effect
Merge pull request #1774 from raichoo/master

added IOExcept handler to FileIO effect
Merge pull request #1762 from bmsherman/improveParserErrors2

Improve parser errors in dependent type signatures
Merge pull request #1770 from jfdm/fix/lift-todo-completion

Lifted TODO/FIXME issues to the issue tracker for Completion.hs
Merge pull request #1773 from JakobBruenker/master

Added ":refine" to the autocompletions in the REPL
Efficiency of unification

Unification is trying to hard to unify things which are never going to
work, and backtracking a lot. This stops that.
Fixes #1219
Fix for name clashes when applying transformations

Fixes #1684, and most likely a lot of other partial evaluation problems.
IBC version updated since the problem may show up in any library code
that's currently built.