Allow functions to be declared as error handlers
Fix comment syntax for highlighting
Add ErrorHandler Binary instance
Proper checking for language extension
Merge remote-tracking branch 'origin/error-reflection' into error-reflection
Allow querying the registered error handlers
Check the type of elaborated error handlers
Allow functions to be declared as error handlers
Fix comment syntax for highlighting
Add ErrorHandler Binary instance
Proper checking for language extension
Allow querying the registered error handlers
Check the type of elaborated error handlers
Merge remote-tracking branch 'origin/error-reflection' into error-reflection
Initial partial version of REPL error reflection
Support names and terms in error reflection
Separate reflected errors from multiple handlers
Cleaner failure for error reflection
Add reflection for the remaining errors
Enable error reflection while loading a module