kleinigheidjes: range in ast, export in globdef