Added haskelm executable
Update documentation in TH file