Tagged lean-classes