First stab at monad law EQC tests
Add EQC target to Makefile
Merge branch 'feature/add-monad-properties-eqc-test'
Automatically derive version number in app.src
Add Kleisli monad composition
Add kleisli/1 and test
Merge branch 'feature/kleisli-composition'