wip... sadly, we get the error:
test3z.elf:1025.9-1025.63 Error:
While checking constant -:
World violation for family sub-env-trans: {G':tenv} {S:sub-env G2 G'} </: 1