Universal annotation language for cardano smart contracts - View it on GitHub