More work on representing symbolic values