F-algebraic version of this expressions example using Matryoshka. Also illustrates property-based testing using ScalaCheck. To run the tests: sbt test