Allow scoped type variables refer to types

Authored by nomeata on Aug 5 2018, 7:56 PM.