Fixed withespace issues.
Added List-in-ho and List-ind-ho.
Added Colist.agda.