Added dependent map.
Path structure for sigma types.