Snippets on fun notation
Refactoring of Module:Function rules