Bug - Deleting an assignment keeps the name reserved

Description

When an assignment is deleted, the name stays reserved so no other assignment can be created with that name.

D - Assignments shouldn't be deleted too often.

When an assignment is deleted, its name should be mangled to make it extra unique and collision-free.