section2 more beautified, yeah, I know, even more
Nice, it merged!
fixed damn greek letters in Bytecode.lagda, now code shows up but stil ugly as hell, FIX PLZ