Typesystem done right.
However, type error handling needs to be redone (its still on the sparql level... sigh)