looking for info on typer, shorter than a tech report, but longer than tweets

Hi,

"Just for fun" I'm trying to get a better understanding of the idioms and
patterns in the SpecializeTypes phase, and noticed that some of the
"building blocks" it relies on (e.g., Context in typechecker, NormalTyper)
can be described independently from type specialization.

So before delving further into that code, I just wanted to ask: Did someone
keep any notes about Context, NormalTyper, and so on? I don't know about
you, but I for one can't keep all details in my head, from time to time I
note them down. Otherwise it feels like this code walkthrough won't be over
before Christmas :-)

Miguel
http://www.sts.tu-harburg.de/people/mi.garcia