added some documentation for the use of AsResult.effectively in the case of a mutable specification