Fix funind w.r.t. universes
Print universes in module printing