Revisions 10.23

Almost everything from Matthias's on-paper comments
"modern techniques" = "F-Bounded Polymorphism". Matthias says I should just use Java. I will.