language spec