replace new_basic_definition_correct with new_specification_correct

i.e. update the stateless semantics for the new principle of constant
definition. but haven't yet updated INFINITY_AX dependencies (which
include a bunch of defined constants).