types+grammar: initial content starting the book