Base for renaming.
Remove postulate.
Merge branch 'master' into rename
Open RawMonad only once.
Finish 'rename'.