new instances, parser for dzn files, simple translator finished