checking redeclarations
more verbose type resolver (see #2)