Seems like for consistency, we should be able to write `foo.bar()` if `foo: @C` and `C` has a method `bar`.