more work on annotated list, value, and its integration into Gremin.