The `weak' keyword can now apply to overrides

Well, technically anything, but we're leaving that behavior as undefined for
now (the documentation will say the same thing).
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.