Added example of a paradox caused by Type:Type