TO-DO: add Type Declarations datomic facts file creation