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