The Copper programming language