Smart Contracts: How I learned to stop worrying by using Confideal