Somewhat unrelated to this PR, but should't the *Module Type* be eventually slightly stronger typed than *String*? It could be a simple wrapper around String. I understand that the type has to be flexible, but I always feel nervous when important concepts are expressed using primitive types. I just like type-safety and the ability to do a "right-click-->find references".