Rename letUnfloatR to letFloatInR, add phase names.