implemented copy_sexpr, other things