Added new section on types and scoping.