End goal: Represent all 7 smart contracts in our DSL