more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant;