Yeah, I'd really like an equivalent of Rust's `if let`: but **not** `if let`! I hate the syntax there too :-D
Definitely taking suggestions there (and everywhere, but especially there). My current thought is `if Circle(binding) == variable` but I don't really like it either: it's clean but very much breaks with expected behavior. Perhaps something like `if circ == Circle then Circle(binding)`? But I don't like that either...