better evaluation output
weakly typed equivalence
formatting
cond special form