Fix typo in exercise 1.4 from "C_0" to "c_0"

See also: http://homotopytypetheory.org/#comment-4259