Add an extremely well-commented test

This commit includes a test for some simple existential subtyping
checks. It is exceptionally well-commented and may be helpful to
someone trying to figure out what the rules are (supposed to be)
in the future.
Merge pull request #3534 from clhodapp/test/literate_existentials

Add an extremely well-commented test