This was just on LtU: http://lambda-the-ultimate.org/node/3662 http://lambda-the-ultimate.org/node/3662 Only a couple of comments right now, but it might be wo

This was just on LtU: http://lambda-the-ultimate.org/node/3662 http://lambda-the-ultimate.org/node/3662 Only a couple of comments right now, but it might be worth cross-referencing later.