documentation updated; explicit_operator class improved.
version update.