What I expect is that you can use upper letters as well as lower letters, but that you can't have the same name twice even if in different case.
That's part of the right solution; also, leave that up to the programmer, making module importing case insensitive. (You could type it with capitals, but the precompiler fixes it for you).
Otherwise Linux programmers would start getting in arguments with Windows programmers about module names :b