Add a paragraph clarifying what an adequate implementation strategy could be. In any case, we are likely to go with methods on scalar types directly.
Add an alternative in which we go to methods directly. This seems more likely at this point, given that we seem to have a fairly simple and quick way to support methods on scalar types that does not involve turning scalar types into circuit types.
