[mycpp] Assert the number of type errors, so we don't regress