Hope is lazy interpriter for HOPE applicative language