Describir: Exploring crash-proof grammars