Propositions as (Flexible) Types of Possibilities