Simplify code structure for building and modelchecking models with different valuetypes

[volkm]

core/__init__.py has some code duplication for building different value types of models (double, interval, parametric, etc). This should be further simplified.

Originally posted by @sjunges in #328 (comment)