Proposals respect typed prefix. Added simple control flow instruction proposals.