Determines if type t is a function type.
type to test
true if it represents a function
See Implementation
Determines if type t is a function type.