Update to use explicit module qualification to abstract terms.
Authored by: tswift 2016-01-13
Parent: [r8573]
Child: [r8575]