move and store a helper theorem from holBoolSyntaxScript.sml
prove new_definition_correct

a special case of new_specification_correct corresponding to ConstDefs