Lasso: skip highlighting name of named rest parameter

A fix for the previous commit.