Fixing if-then-else evaluation and adding the eqv? function.