Allow checking whether an object is of a certain type

[morxa]

Given a domain with

symbol domain Location = { C_BS_O, C_DS_I, C_CS1_I, C_CS2_I }

I'd like to check in a test whether my object is part of that domain, e.g.,

test(has_type(C_BS_O, Location))

This can be done manually, e.g.,:

bool fluent is_location(symbol location) {
domain:
  location in Location;
initially:
  (location) = true;
}

However, adding this for every type is cumbersome. It would be nice if such a predicate or function was generated automatically.