A double framework featuring a selection of double techniques and a terse syntax
