Bugfix: body forms were not spliced in within defn>
Improvement: Add two examples of defn> showing different syntax