New validation constraints, some WMO examples ported to the new specs language