add implementation of new_specification to hol_kernel

now hol_verification needs to be updated