snippets for DEF, FUN, IMPLEMENTATION, SIGNATURE