Fix old solutions and add some examples of declaring the type signature of a function