Fixed ≈-map-iterate.
Fixed map-iterate-Stream.
Fixed iterate-Stream.
Fixed ≈-trans.
Fixed TODO rule.
Fixed TODO notes.
Fixed Conat-pre-fixed.
Fixed ≈-pre-fixed.
Fixed ∷-rightCong≈.
Fixed Fair-pre-fixed.
Removed clean from type_check_fot rule.
Fixed tail-Fair.
Fixed Stream-pre-fixed.
Fixed ++-Stream.
s/Equality.agda/Type.agda
Fixed ≈N-pre-fixed.
Fixed Colist-pre-fixed.
Fixed Fair->Stream.