rewrite eval
lambda