type annotate datomic.clj - (first 6 fns are actually typed, rest are just no-check annotated)