CodeCraft: Introduction to Datomic