Array append -> ++; Polynomial.unSum
compress
make parenthesize function (not member)
start compress expand
dedent
Array.map f xs --> xs <|> f