generator: generate extensions at once
generator: generate types, too
generator: begin implementing d generator