Merge pull request #2 from TiarkRompf/topic-virt-patmat-2.10.0

more permissive scrutinee types in virt pattern matching
check and flags files for problang3 test