added a type field to every symbolic value and symbolic predicate.