Added formal grammar documentation for tiddler filters