They're called pattern types because the intention is to allow them to match a Rust pattern expression (more or less, no idea how conditionals would work).