[DRAFT] Resolve stubs and contracts in trait implementations

[carolynzech]

This PR is not ready for review; I am testing that it passes CI before writing tests.

Resolves #ISSUE-NUMBER

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.