Add parsing rules for Pairs
Extend type rules for pairs