Expand the discussion of abstract types in the FAQ