automatic atom numbering

[martin-raden]

• forbid atom class in rules
• add global atom number as class to each atom label (integrate already present numbers and ensure their uniqueness)