Correctly handle several * in a pattern

Each star should be a different unbound variable