remove curried functions; multiple arguments use tuples
transition InterpState to use StateT IO
add map example