Better type matching for channels.

Take care of "Type" placeholder in builtin functions.
Handle possibility to pass bidirectional channel in place of single-directional.