Update to new version of HoTT
Merge branch 'master' of github.com:crypto-agda/protocols

Conflicts:
	Control/Protocol/Core.agda
	Control/Protocol/InOut.agda
add more composision with >>
Merge branch 'master' of github.com:crypto-agda/protocols

Conflicts:
	Control/Protocol/Additive.agda
	Control/Protocol/IP.agda
	Control/Protocol/Sequence.agda
Merge branch 'master' of github.com:crypto-agda/protocols