The Kirn Programming language