allow type change of cardtypes without cards+discussion

Cardtypes can be deleted (if there are no cards of that type), or at least renamed, so that offers workarounds for now. --John Abbe