Plugins for Herbie