===
[Conditional] simple one line if/else with no complex expressions
===
y = if x then 5 else 6
---
(unison
    (term_declaration
        (term_definition
            (wordy_id)
            (kw_equals)
            (exp_if
                (kw_if)
                (wordy_id)
                (kw_then)
                (nat)
                (kw_else)
                (nat)))))
===
[Conditional] one line if/else
===
mySimpleTerm = if elem 5 myList then "high five" else "no five found"
---
(unison
    (term_declaration
        (term_definition
            (wordy_id)
            (kw_equals)
            (exp_if
                (kw_if)
                (function_application
                    (wordy_id)
                    (nat)
                    (wordy_id))
                (kw_then)
                (literal_text)
                (kw_else)
                (literal_text)))))
===
[Conditional] if/then/else
===
mySimpleTerm = if elem 5 myList
               then "high five"
               else "no five found"
---
(unison
    (term_declaration
        (term_definition
            (wordy_id)
            (kw_equals)
            (exp_if
                (kw_if)
                (function_application
                    (wordy_id)
                    (nat)
                        (wordy_id))
                (kw_then)
                (literal_text)
                (kw_else)
                (literal_text)))))