I think this will come (and already does) from the libraries. They abstract a lot of the hard-to-get-right details for you. For the rest, I guess the BC comes

I think this will come (and already does) from the libraries. They abstract a lot of the hard-to-get-right details for you. For the rest, I guess the BC comes out of a limitation of the language to express things correctly only. So to remove the BC one would have to build an entirely different language (maybe purely functional ?)