Refine types in as-expressions