[GHC] #11166: Implement phase1 of Expand Floating Proposal (EFP)