Add a link to the Wikipedia article on type checking and a reference from the documentation of a parameter to the documentation of another function