Fix missing collection annotations on generated collections.
Ensure K3::Collection is brought into namespace.