Add augmented types