Jack sez: SOME x should really be changed to be [x] or [0 x] instead of (0 x). The current representation is both inconsistent with how #datatype works and unnecessarily weird (because either you know the PLAN opcodes and then you wonder why we're using MK_LAW in our maybes, or you don't and then you wonder what it means to apply 0 to something).
Jack sez:
SOME xshould really be changed to be[x]or[0 x]instead of(0 x). The current representation is both inconsistent with how #datatype works and unnecessarily weird (because either you know the PLAN opcodes and then you wonder why we're using MK_LAW in our maybes, or you don't and then you wonder what it means to apply 0 to something).