add total snippet for idris
Add if-let and when-let snippets for elisp