4.4 HARK-specific type

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