> business logic and data structures. It seems fine to want to not have bugs in principle!

I think there is no (embedded) language so far which prevents you from having bugs in business logic.