code snippets from Source module highlighted in section2 of the report. Source.lagda COPIED and the COPY WAS MODIFIED INSIDE the agda dir. ORIGINAL INTACT