The node you are looking for is at 規範的な型と記述的な型.