Get rid of runtime rewrites (of AutoCloseable, ExecutionContext)

[Paul S.]

They are slow due to the nature of <:<, but they may be done in compile time in various ways. We may preserve the output of <:< and retain existing rewriting logic or do the rewrites completely in compile time.