I'm closer to getting it to work. I'm getting a bit fed up though. The reason this takes so long is probably just my lack of understanding (i.e. reading error messages is still very hard for me). However, after yesterday's Sussman talk I'm wondering if it isn't time to switch back to Scheme for a while, with the isights gained, and work test-driven instead of type-driven..