Add explanation of AST and compilation database