add a simple view for types and use to make some existing functions simpler
use type_view in one more place
Merge branch 'master' of github.com:BenjaFallenstein/hol-reflection