Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic