> I want to force AI to work within the confines of an abstraction, not independently of it.

Yes, this is the way. We need programming languages that make this easier.