Fix several issues found by linting core.logic

+ Several misplaced doc strings.

+ Several deftest names that were identical in the same namespace,
  causing the earlier one's tests never to be run.

+ Some missing (is ...) wrappers around unit tests (caught by linter
  because the first one's return value was discarded).