Add support for type annotations on channels and datatypes.