===
simple term declaration
===
x = 5
---
(unison
    (term_declaration
        (term_definition
            (wordy_id)
            (kw_equals)
            (nat))))     
===
[Term] Declaration
===
sumUpTo : Nat -> Nat
sumUpTo x = x
---
(unison
    (term_declaration
        (type_signature (wordy_id) (type_signature_colon) (wordy_id) (arrow_symbol) (wordy_id))
        (term_definition (wordy_id) (wordy_id) (kw_equals) (wordy_id))))
===
[Term] type signature with complex abilities clause
===
store.stopIfTrue : (a -> Boolean) -> a ->{Abort, Store a} a
store.stopIfTrue = f a b c
---
(unison
    (term_declaration
        (type_signature (path) (wordy_id) (type_signature_colon) (parenthesized (wordy_id) (arrow_symbol) (wordy_id)) (arrow_symbol) (wordy_id) (arrow_symbol)
            (effect (wordy_id)) (effect (wordy_id) (wordy_id)) (wordy_id))
        (term_definition
            (path) (wordy_id)
            (kw_equals)
            (function_application
                (wordy_id)
                (function_application
                    (wordy_id)
                    (function_application
                        (wordy_id)
                        (wordy_id)))))))