Added invalid_lock exception to synchronizer class.

Some inline doc is removed due to being implicitly stablished by the interface.