Changed initial version of matchPattern matcher to based on macro, and make it to raise compiler error when partial function passed in contains case definition with non-empty RHS.