Take type parameters into account when comparing signature identities
Update LKG