Based on that extract from the abstract, I would say human readability and writeability are not the main goals of the language. Still, the syntax doesn't look impenetrable to me. Is there anything in particular about this excerpt you find hard to read? The whitespace is better in the original.
(* Transition 2: Sending the funds to the owner *)
transition GetFunds
(sender : address, value : uint, tag : string)
(* Only the owner can get the money back *)
if (tag == "getfunds") && (sender == owner) ⇒
blk ← && block_number;
bal ← & balance;
if max_block < blk
then if goal ≤ bal
then funded := true;
send (<to → owner, amount → bal,
tag → "main", msg → "funded">, MT)
else send (<to → owner, amount → 0,
tag → "main", msg → "failed">, MT)
else send (<to → owner, amount → 0, tag → "main",
msg → "too_early_to_claim_funds">, MT)