Describir: A survey of hidden-variables theories