fix typos in prog-equiv README
fix invalid kast usage in docs
Merge pull request #972 from osa1/typo

fix typos in prog-equiv README