Conditional independence by typing