This change ensures that Stack semantic version numbers specified in Mufiles are correct. Note that we do not accept ranges for the version number itself, although obviously when checking dependencies we will permit it.