Pattern matching system finally complete (more or less, at least for CHANGE_VAR-patterns)