20120724

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