Fixed Colist-coind.
Fixed Stream-coind.
Fixed indentation.
Fixed Fair-coind.
Removed Stream.agda.
Merge branch 'stream'

Conflicts:
	notes/FOT/FOTC/Program/ABP/Fair/Properties.agda
	notes/FOT/FOTC/UnguardedCorecursion/HALO.agda
	src/fot/FOTC/Program/ABP/ABP.agda
s/Properties.agda/PropertiesI.agda.