errors in evaluation contexts lemma, and errors type to anything