Added Existential Type to Types examples
Added Abstract Type to Types examples