rBind2 :: String -> String -> (Nom -> Nom -> Value) -> Bind Nom2 Value
rBind2 x y f = sbind2 x y (f (s2n x) (s2n y))
rBind2 :: String -> String -> (Nom -> Nom -> Value) -> Bind Nom2 Value
rBind2 x y f = sbind2 x y (f (s2n x) (s2n y))
rBind2 x y f = sbind2 x y (f (s2n x) (s2n y))