Language specification in progress