That's a good question. I don't have a personal answer yet, though I do like your mechanic example.
But to your last point: I chose the word "coding" so as to refer specifically to the linear textual formal representation we use today. People will keep designing complex logical systems - indeed, I hope more people will become more capable of doing so, and I think better tools will help.