prepare for more work on signatures, in particular this means processing records in telescoped contexts

rework ElementValue, CheckedElement to be type aliases for the generic version over Term : Type

0 files changed, 0 insertions, 0 deletions