Nieuwe programmeertaal maakt smart contracts op Bitcoin makkelijker