CIF data-based synthesis: for the 'nodes' output mode, make all int types in the resulting model ranged int types

This allows the resulting controlled system model to be processed by more tools.