TaoHe updates (collection of nestable Move resources)

Hello everyone!
In order to minimize open topics, I am going to post updates for TaoHe - the collection of nestable Move resources - here :slightly_smiling_face:

Original introduction message:

  • Move 1.3 support.
  • Formal verification for all the taos.
  • Unit tests for all the taos.
  • Implemented read() for all the taos, as a way to retrieve immutable reference to the content and attributes of the tao.
  • New tao: Timestamp - a way to timestamp content on-chain.
  • Naming new() to wrap(), and extract() to unwrap(). Updated β€œTao lifespan” accordingly.

For more information, visit ε›ž TaoHe homepage. Direct link to the GitHub repository here.