Documentation of Elab

[wizard7377]

Currently, the main Idris2 docs has almost no documentation on elaboration, outside of the internals section (which is itself quite sparse). In addition, the Language.Reflection base modules are highly underdocumented. Given how important elaborator reflection is to Idris, it seems that this lack of documentation is quite problematic.

Comparaison With Existing Documentation

Idris 1 has extensive docuementation, an entire section on Elaborator reflection. This has not been moved to the Idris 2 docs. The only documentation I could find that explained it at all was at https://github.com/stefan-hoeck/idris2-elab-util, which isn't mentioned in the docs

Success Conditions

1. A tutorial on elaborator reflection (similar to Idris 1)
2. Better documentation of the Language.Reflection module(s)

[wizard7377]

See here for library documentation