some more documentation rewriting.
language changes: Eq -> PartialEq, some additional warnings.