eval_expr is ok again, reworking eval_stmt. Not finished.