egison-4.2.1: Programming language with non-linear pattern-matching against non-free data