Neat. Thanks. Main thing I wanted to look at is in Springer. Ill have to dig up non-paywall stuff on him later. Especially the meta and supercompilation.