[type system overview] More fleshing out.