Added densityToLan and codensityToRan isomorphisms and the corresponding haddocks