Nip's fixed, but ListPattern matching still fails

There also seems to be a highlighting error in IntelliJ IDEA, but I can't be sure until the matching passes. I'll report it if it's still there after that.