4.4 HARK-specific type

The data types that HARK  defines originally are Map  type and Source  type.