for completeness
Merge branch 'ssreflectmck' of https://github.com/jcmckeown/HoTT.git into ssreflectmck