Cardano founder Charles Hoskinson is building a new programming language for the network