UPDATE | We've released Tx3! A domain-specific language and toolkit for building UTxO-based dApps. Check it out!.