unfolding existential types
Merge pull request #54 from ucsd-progsys/extypes

unfolding existential types