Replace HomalgRingElement by HomalgExternalRingElement