Moved NumSpecifier out of simple_specifiers.h.