Improving eqv? and adding append.