let has_x : expand_type -> bool =
    function `X|`BOTH -> true | `Y|`NONE -> false