types+grammar: ch5, added detail to ASI section, added summary text