*<Null safety>*
bool operator <= (Level other)
bool operator <=(Level other) => value <= other.value;