xtaixe

I understand. What do you think about providing a new annotation (`@Eager`?) that would equivalent to `@Derived` + `@Auxiliary` (so also i.e. like `@Lazy` but eager). We use `@Derived` a...