Implement `lisperrypy_with`