===
[Blocks] block starting with type signature'ified term declaration
===
> if
      s = 0
      s > 0
  then
    s: Int
    s = (0: Int)
    s + 1
  else
    s = 0
    s + 2
---
(unison (watch_expression (exp_if
  (kw_if)
  (term_declaration (term_definition (wordy_id) (kw_equals) (nat)))
  (function_application (wordy_id) (operator) (nat))
  (kw_then)
  (term_declaration
    (type_signature (wordy_id) (type_signature_colon) (wordy_id))
    (term_definition (wordy_id) (kw_equals) (parenthetical_exp (nat) (type_signature_colon) (wordy_id)) ))
  (function_application (wordy_id) (operator) (nat))
  (kw_else)
  (term_declaration (term_definition (wordy_id) (kw_equals) (nat)))
  (function_application (wordy_id) (operator) (nat))
  )))
===
[Blocks] inline and multiline comments should not affect indentation calculation
===
> cases
       {- A comment -}
          -- A one-line comment
     0 -> "hi"
     1 -> "bye"
---
(unison
  (watch_expression
    (cases)
    (comment)
    (comment)
    (pattern (nat) (arrow_symbol) (literal_text))
    (pattern (nat) (arrow_symbol) (literal_text))))