Fixing typos in types in the skeleton so coq will accept the file.