We describe work-in-progress on a type system that shows how to combine quantum and classical control flows. The part of the system that deals with quantum control is modelled through a subsystem that ensures: (1) every well-formed first-order term corresponds to a normalised vector, i.e. a pure state, in a suitable (infinite-dimensional) Hilbert space; and (2) every other term has a type that ensures it corresponds to a unitary operator. The part of the system that deals with classical control is modelled as a simply-typed linear lambda calculus, such that: (1) its operational semantics allows for probabilistic and quantum effects to be represented (e.g. quantum measurements, entangled states, application of unitary operators); and (2) its denotational semantics is described in a model of von Neumann algebras that gives an appropriate interpretation in the Heisenberg picture of quantum mechanics. The interaction between the two subsystems is modelled by adapting the notion of quantum configurations that have been used to model quantum lambda calculi. As a work-in-progress, some of the claims reported here have not yet been proven, but we conjecture they are true, and we aim to prove them in the final version.