Improve cancelling and progress monitoring for evaluation of many expressions (e.g., with large skeletons).
Fix skeletons involving casts and instanceofs.
Fix minor filter UI edge cases.