Lamdu.{Sugar.Convert.Infer=>Expr.IRef.Infer}
Add Sugar.Convert.Input instead of ad-hoc Sugar.Types.InputPayload