[eval2] Fix a type declaration.