I'm building a simple todo list app and I'm left wondering that if I should declare specs for the datomic attributes and write functions that check validity of those specs as the attr preds. How do I use spec in conjunction with entity and attribute predicates?