Very interesting project, Thomas. Here's one for inspiration:
http://www.symbolics-dks.com/Genera-why-1.htm
About time we have something modern that can do everything in that ad that's relevant today. I want my live-updating, live-fixing, per-function compiling, whole-system debugging, crash-resistant OS. If they could do it in the 80's then... you know... ;)