New programming language spec