adding Oktype & fixing name GFixT
Merge branch 'types' of github.com:coq-ext-lib/coq-ext-lib into types