Update patmat, implicits