Forgot eval rule for annotated terms