Dialyzer cleanups

the main visible change is that we have added a function to create a model from a JSON.

We also added a lot of tests with eunit and proper as well as a lot of code refactoring