----------------------------------------------------------------------

vPi :: String -> Value ->  Value -> Value
vPi s x y = VPi x (bind (s2n s) y)
vPi :: String -> Value ->  Value -> Value
vPi s x y = VPi x (bind (s2n s) y)
vPi s x y = VPi x (bind (s2n s) y)