GSW: Added sections on structural types and subtyping.