Replaced typed_id with binder in the CP syntax.

The CP syntax used 'typed_id' in a number of places which would
eventually have to be desugared into Links binders.  Now, we use
'binder' in those places, instead of inventing a new (but equivalent)
type.