Isn't it already? After all - YAML in Ansible now includes some control structures no? (Or am I misremembering that?)
Yes, Ansible supports conditionals and loops in its playbooks. Ansible 2.0 also introduced blocks, which are effectively a try-catch-finally in disguise.