Support pretty printing of variables

[Meijuh]

Add a function to the PINS interface that pretty prints all types (also non-enum) in the model. This allows the printing of state and transition labels according to the frontend standards. For example a signed char can be printed as -128, ..., 127