We could get rid of the prefix; I only kept it to avoid changing the existing symbol names.  As you note, it no longer matters what the builtin modules are called.