Data types such as boolean and integer are explicitly modeled with DCharts. Though variables of those types are internally supported, modeling them explicitly allows symbolic checking and analysis.
