Dropped AsAny and replaced documentation showing its use with widening type ascriptions.