in progress
Merge branch 'kleisli' of https://github.com/davidpeklak/smt into kleisli

Conflicts:
	src/main/scala/smt/Handling.scala
fix for-loop in Handling