Added compiler option to remove annoying warning messages regarding parentheses-equality
Starting no-label() constructors and some work simplifying SpecificationPart.
Moved Label rule to Main.sdf.
Starting no-label() constructors and some work simplifying SpecificationPart.