Documentation

hir_expand deals with macro expansion.

Specifically, it implements a concept of MacroFile -- a file whose syntax tree originates not from the text of some FileId, but from some macro expansion.