* Updated AllContractions documentation.
* Added the AllContractions:nocontr message, which is generated when
AllContractions returns nothing (for various reasons).