型解析：用語 型マップ

見た目はオブジェクト型（の型項、型表現）とまったく区別できないが、名前と型の対応を型マップと呼ぶことにする。'<<'の右側は型マップ。型マップがオブジェクト型と違う点は：

• ワイルドカードは現れない。
• 出現しない名前（プロパティ名）に対する型は単に未定義、ほんとに未定義。never?やany?で補完して解釈することは一切しない。