Consistency of high-level class design

[bwohlberg]

It is arguably inconsistent that the Operator property if linearity is represented via inheritance, while Functional properties (e.g. has a prox) are represented by boolean attributes. These design choices should be revisited at some stage.