Working through 'Casting SPELs in Elisp'