identity coercion from UU to Type

Following Jason's advice (see coq-club) I added 

Identity Coercion foo : UU >-> Sortclass.

and was able to avoid usage of Type.