20120724ΒΆ

More internal optimizations to get lino.tutorials.t1 running.