moduleのみ、のような中途半端なのはどうかと。
全てvirtualで実装を持たないmodule ≒ interface のようなもの(微妙に違いますが)なので
名前変更はどちらでも使えるか、完全に使えないか、がいいとおもいます。

僕もaliasでいいかと。別名も旧名も両方同じものとして使えるならば
ドキュメントが胡散臭い時は object.module.method 使えばいいし。
( 同時に旧名と別名の両方で override しようとすると当然エラーですよね？)

ところで
>>658
>中間コード形式のバイナリで保存するのを考えていますので、
>場合によってはクライアントが実装の宣言を見ることが出来なくなります。
中間ファイルから宣言部分を復元するツールがあればいいのではないかと。
( Javaの.classでは確かできましたよね？Delphiの.dcuとかもIDEのブラウザで見えますし )