Augmenting Types