Provide a build-in function "function" that describes a type that is a
function.