1ac895f15 Restore mention of value in typecheck error