Chapter 8. Typing and Properties