add EvalIf and IsTrue

IsTrue may be changed because its definition is uncertain.
add EvalLambda