To run this code you need to use dbl version with extended stdlib: https://github.com/MinionJakub/dbl

To run tests: dbl src/Test.fram