Added a simple language specification, for future reference.