Bytecode: refactor output methods around an enum class similar to ExprNodeOutputType

By the way, add assertions to ensure that assignment LHS output type is only
used on VariableNode(s) and AbstractExternalFunctionNode(s).