Syntax-based folding (#12)