PolyCont_While_Domain_Unit
given PolyCont_While_Domain_Unit[ConditionKeyword, BodyKeyword, Domain](using val conditionDsl: PolyCont[ConditionKeyword, Domain, Boolean], val bodyDsl: PolyCont[BodyKeyword, Domain, Any]): PolyCont[While[ConditionKeyword, BodyKeyword], Domain, Unit]