Use a submodule Exports to list the CompilableTypes that will be given
to GenerateIntermediateRepresentation (and thus avoid warnings about all
the values that cannot be translated)