Rethink type casting during model loading form file

[emuskardin]

Current Idea:

• everything except DFAs as a string
• add a cast function in utils, which can take a model and return a model where inputs/outputs that are int are casted to int, as well as booleans in non-DFA models
• other types better not I think

Close by the end of January.