expanded more main.tex, should now be obvious what to fill in
changed problematic unicode chars in Report.lagda, still some left but now easy