そうかな？
ちょっと読んだ限り、参照と同じで初期化が必須で、初期化時に型が確定する、ってだけだから
「auto」を、初期化に使った式の型に読み替える処理を入れるだけでいいんじゃまいかな。
記号表管理に手を加える必要もなさそうだし、そこまで大きな負担ではないと思う。