Archetype is a domain-specific language (DSL) to develop smart contracts on the Tezos blockchain, with a…