Added conditionals, unconditionals and loops part of the proposal.