add boolean typehints to logic.cljs