Avoid copying Lists
Avoid creating a module for void or without-a-name module descriptors.
This is now consistent with the typechecker and Java Backend behaviors