6.5 Nested types and variables