Warning no longer issued when overriding weak method appearing later in dfn obj
Began implementing virtual trait methods

N.B. This is incomplete, as the test case is throwing a warning (see the
incomplete test for a description of what needs to be done). This commit
will likely be rewritten.

These require special treatment with proxying.