Further additions

[w-bruns]

Perhaps contained in the other issues, nevertheless: we need

1. General compute function
2. Queries for computed data
3. The complex computation goals

Among the complex computation goals it makes sense to start with the Hilbert/Ehrhart series.