Look through elaborated types.

Authored by burel on Oct 22 2015, 9:10 PM.