added tests for a class cast exception; we might want to change pre-cond for conj