much like ifs, returns are now split into Return.Unit and Return.Expr