Causal Types For Higher-Order Quantum Theory