append-exp 수정, 관련 예제 수정
car, cde-exp 타입체크하는 부분 수정하다가 말았음