Fixed parsing tests after change to types in ElabTheory.