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

vLam :: String -> Value -> Value
vLam s b = VLam (sbind s b)
vLam :: String -> Value -> Value
vLam s b = VLam (sbind s b)
vLam s b = VLam (sbind s b)