Fixed issue with thresh introduction.
backward-infer uses traversed channels to track itself, rather than visited nodes. Some improvements to generics to not use assertedness.
Added contexts to backward-infer, but removed focused infer for now. There's a bug with it where backward-infer isn't completing I need to work out.