Fix tests

* VariableResolutionTest needed a type
  visitor sweep

* visitType in TypeVisitor did not do any
  type resolving