Describir: The C5 programming language 2007 edition