do we need test10?
wip on self types. unproven helpers for naming
self types wip. refl ok, trans breaks but seems fixable