Just the basics in setting up and learning Datomic