Added Path Dependent Type use case to Types examples.
Added Dependent Method Type use case to Types examples.
Added Type Projection use case to Types examples.
Added Singleton Type use case to Type Projection.