Improved reporting of failed notation checks, generalized notation
checks to allow any pchar at start of notation other than _