fixed varDec with types, and added a pattern for assignExp, narrowed down a problem with named types, see test.tig
made the problem in test.tig clearer