Deliver sources generated in org.whitehole.infra.types.

See wiki for the rationale.