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
Fixes layout parsing of operators
Fix SimpleParser ambiguous type error
Induction now works on types with parameters
Add DragonFly to config.mk
Add more ifdefs for DragonFly
Induction works for all types with eliminators now (some eliminators
still need fixing) including those with indicies.
Improved the parsing of `-XExtension` flags.

The `Read LanguageExt` instance is now used to convert strings into
`LanguageExt`s, and passing -XNonexistentExtension results in an error
instead of attempting to load the file "-XNonexistentExtension".
Improve mid-do-block cases

By assuming that any missing type is () (which is probably what was
intended anyway). This works by filling any holes with () if they happen
to be patterns in generated case blocks.
Merge pull request #763 from ahmadsalim/feature/parserlayoutfixes

Fixes layout parsing of operators
Merge pull request #764 from puffnfresh/simpleparser-type-error

Fix SimpleParser ambiguous type error
Merge pull request #766 from markuspf/dragonfly

DragonFly support
Merge pull request #767 from ahmadsalim/feature/inductionimprovements

Allows induction on more complicated data types
Merge pull request #768 from trillioneyes/extension-checking

Improved the parsing of `-XExtension` flags.