Finished verbatims for lispy syntax