WIP: Revive compact representation for NP/NS#129

edsko wants to merge 1 commit intomasterwell-typed/generics-sop:masterfrom

edsko/compact-representationwell-typed/generics-sop:edsko/compact-representationCopy head branch name to clipboard