Merge pull request #8 from UniMath/master

Identity coercion from UU to Type and other improvements
Removed a few references to Type
New work added
Merge pull request #9 from UniMath/master

Update
A commit after a long interval
Merge pull request #30 from vladimirias/master

Synching multiple changes