Enhance "maxBound" expressivity

It could be useful to be able to specify complex `maxBound` expression such as:

```
class ChoiceList {
  rel choices: Choice
  rel selected: Choice maxBound choices.length
}

class Choice {
  att value: String
}
```

This would prevent `selected` to be greater than `choices.length`
