4.4 HARK 固有型

HARK  が独自に定義しているデータ型は,Map 型と Source 型である.