Removed unused args from Id.mkIdVisible and Name.mkNameVisible. Perpetuated Name.mkTopName hack in Name.mkNameVisible.