UniMath/UniMath — pull request #23 by benediktahrens (2014-06-02 09:42:04+00:00)
Title: 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.