Rename letUnfloatR to letFloatInR, add phase names.
Rename caseUnfloatR to caseFloatInR