driver: flow pipe refactorage
core: give proper type errs when sub eq or inst judgements fail