use new "Val -> Maybe a" function in interpreter