Allow functions and function designators in check-types.

[kat-co]

I.e. some people prefer to pass in 'foo instead of #'foo.

funcall, apply, etc. already support this.