[slime-devel] Proof-of-concept Name-conflict resolution