Sigma type corrected - Obj = DepPair
methods for Sigma and Pairs
Plus Type, recursion fo pairs