Rewrite the plugin using lambda-ccc

[LeventErkok]

Rewrite sbvPlugin (https://hackage.haskell.org/package/sbvPlugin) using Conal's lambda-ccc (https://github.com/conal/lambda-ccc).

If you can do that, and assuming it works, I think sbvPlugin would become a viable project for people to use in "real life." See this talk by Conal for details: https://www.youtube.com/watch?v=vzLK_xE9Zy8 where he talks about a "Z3" embedding towards the end.

I'd be interested in collaborating on this, if someone takes the charge.