Added explicit module qualification to routines that use abstraction; moved 2 term
abstraction routines into this module.
Authored by: tswift 2016-01-13
Parent: [r8576]
Child: [r8578]