Remove unnecessary bindName(s)

I thought we'd already done this actually? Maybe it was in ps-in-ps.

(`bindName` is unnecessary now since the thing this fixed is now handled in desugaring.)