This is the top category for the implementation of properties (unary relations). The design choice has been here to support unary relations via binary relations having a boolean on the range. This should provide enough support to build hierarchies, to talk of generic sets of properties ('functional' mode), and to have conjunction of properties.