add cons primitive
make 'if' error on non-bool predicate
add primitive eq? and eqv? functions