Remove extraneous patterns in tc/funapp.

Also improves error messages on cases which return AnyValues/ValuesDots.
Only match on f-type in tc/funapp.
Make funapp take a Type/c instead of a tc-results?.
Add bottom as a special case in multiple value context.
Add match expander for functions and arities together.