Added documentation for Exists Type, closes #220