define "nested type"