A formulae-as-type notion of control: classical logic and call/cc in Scheme