Fact generation for binary-compare and numeric tokens.
Pretty-printing of symbolic structure.