===
[Conditional] simple one line if/else with no complex expressions
===
y = if x then 5 else 6
---
(unison
    (term_declaration
        (term_definition
            (regular_identifier)
            (kw_equals)
            (exp_if
                (kw_if)
                (regular_identifier)
                (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
            (regular_identifier)
            (kw_equals)
            (exp_if
                (kw_if)
                (regular_identifier)
                (nat)
                (regular_identifier)
                (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
            (regular_identifier)
            (kw_equals)
            (exp_if
                (kw_if)
                (regular_identifier)
                (nat)
                (regular_identifier)
                (kw_then)
                (literal_text)
                (kw_else)
                (literal_text)))))
