- Extract dependent types directly from the Clang AST and re-serialize back into compilable code - Collect types and emit diagnostics - Format generated code Signed-off-by: Christian Blichmann <mail@blichmann.eu>