Fully qualify generated core.typed syntax