Modules could theoretically be evaluated now.

They return a mapping from class name to natives.