add code from the third meeting

infinite and interleaved streams, convenience macros and even peano
numbers. yay! :)