This release contains the following notable changes:
- Lazy evaluation now supports built-in counter arithmetic.
An earlier version of the system is documented in our Technical Report DBAI-TR-2014-86, Technische Universität Wien, 2014, http://dbai.tuwien.ac.at/research/report/dbai-tr-2014-86.pdf