// System.out.println("Inside ValDeclaration resolving type: " + binding.getType());
// System.out.println("Inside ValDeclaration resolving type: " + binding.getType().getClass());
if (binding.getType() instanceof TypeInv) {
TypeInv ti = (TypeInv) binding.getType();
// System.out.println("TypeInv = " + ti);
// System.out.println("against = " + against);
}
resolved = TypeResolver.resolve(binding.getType(), against);