Fixing Chapter 3 to show types using concrete syntax instead of abstract syntax