deprecated \exenumfulllabel-> \exenumfull\label (although former syntax kept for backwards compatibility); updated documentation; + minor enhancements in documentation