Implement first trial on pattern-matching fold parser