destory Hole
fix agda-mode:next
agda-mode:give
agda-mode:give response