Allow InternalObjs to be rendered to SMTLib S-expressions