Rename j-Equality.md to k-Equality.md