add more typedo
Merge branch 'master' of https://github.com/rebcabin/Logic-Starter

Conflicts:
	test/logic_introduction/test/core.clj