wip finally fixes unliftable bug on non-tree holes
wip unify applyreifier and unapplyreifier into base reifier
wip
SI-8016
SI-8008
SI-6842 give up on strict static types in trees