> nothing about how it works is built into the language

I think the state machine required to yield, async & await is baked into the language.

But yes, one can implement the Future trait to take finer control.