Create closures directory for axioms and lambda syntax