decidability of judgmental equality is meta-theoretic, see #264
add 42698c2 to errata
Merge pull request #388 from mikeshulman/judgments

decidability of judgmental equality is meta-theoretic, see #264