On Typing Information Flow