emphasis
misc improvs
new section on type alias elimination