Nearly there (hopefully)
I continued implementing the SLinks typing algorithm. I hope to have a first executable version tomorrow morning: I only have to tie up some loose ends in my code and it should compile. I hope I didn't make too many bad mistakes and that debugging won't be too difficult.