Revert "Pattern matching on [] is the last equation."

This reverts commit a4cf9e474eda334984ed100f01b825a22fb7f1fa.