modified the reader to work with the new symbol representation in constructing built-in constants