Instead of Identity use First

[Ericson2314]

Giving Identity meaning just seems wrong: it should just get the underlying patch instance if it does anything at all. Worse, one cannot define the associated semigroup. First however already has the semi-group we want, so we should instead use it as the "replacement" patch.