Blogged: Synthesising Elisp Code: https://www.wilfred.me.uk/blog/2017/07/02/synthesising-elisp-code/