(BUILD BROKEN) wip work on replacing Value* with Use in Instrs