fixing issues with dependencies due to -R.
Merge branch 'types' of github.com:coq-ext-lib/coq-ext-lib into types