4.4 HARK-specific type

Data types that are originally defined by HARK   are Map and Source .