A happy Christmas
I have a first functioning version of the type-based project optimisation. with re-typing and environment passing. My first tests have been successful, but I'll have to think a little bit more about the behaviour of the optimisation to be fully convinced it works in all cases (it is suspiciously simple). Anyway, I'll do that after Christmas. I have also started thinking about the best way to modify SLinks to use system F instead of the current 'attached types' to store typing information.
Which leads me to a more important point in this post: I wish a happy Christmas to any (potential) reader of this weblog.