Don't use a record for SourceLocation
Merge remote-tracking branch 'upstream/master' into error-reflection
Add some type signatures and documentation in elab
Fix Haddock parse error
Specific-function error reflection: basic infrastructure
Make lookupCtxtExact return Maybe instead of List
Restrict error reflection scope to one argument

Now, error reflection can be applied to a single argument of a single
function. It is triggered upon an error while elaborating
applications. See test038 for an example.
Merge remote-tracking branch 'upstream/master' into error-reflection
Add error handlers to IBC files
Update error reflection for CantSolveGoal
Hide original errors upon reflective rewrite

Original error messages are now hidden by default. They can be enabled
with :set originalerrors at the REPL.
Fix reification of NErased
Improve representation of BigInt reflections
Better debug reports for error reflection
Make test038 actually test something
Test update for hiding internal errors
Updated Haddock Documentation.

Fixed some outstanding malformed documentation strings.
Add the possibility to "import Module as Alias".
Fix namespace ordering.
Add test for import-as.