Clarify empty() and type(). Remove a sentence from pointer any_cast description. All from Daniel.