crave::inside doesn't work with systemc datatypes, Syntax should support initializer lists

[voertler]

SystemC datatypes in inside are not supported. This leads to a compile error

    crave::crv_variable<sc_dt::sc_uint<8>> byte;
    crave::crv_constraint a_constraint {
        "a_constraint",
        crave::inside(
            byte(),
            std::set<sc_dt::sc_uint<8>> {0, 64, 128, 192})};

However this works:

    crave::crv_variable<uint8_t> byte;
    crave::crv_constraint a_constraint {
        "a_constraint",
        crave::inside(byte(), std::set<uint8_t> {0, 64, 128, 192})};

Why is there a std::set type required at all. An initializer list should be enough:
crave::inside(byte(),{0, 64, 128, 192})}
Thanks to @hvdschoot for finding this issue