Add -nn flag to dialyzer and minor fix in algorithm behaviour

-nn <=> --no_native flag makes dialyze rruns faster in our case
Add a name for a type in one fo callbacks
Treat model as a behaviour, add callbacks and invoke dynamically