CIF explorer may create state annotations with values with invalid types

org.eclipse.escet.cif.explorer.CifAutomatonBuilder.valueToExpr uses the field/element/key/value types of containers to create proper types, also in case the containers are empty. However, the original types of the values may differ from the types of the annotation argument values, as enumeration literals and functions are represented by string literals, and thus their types should be replaced by string types.