Single-Direction Channel Typing

Enforce strict data flow directionality in function signatures using unidirectional channel types.