added reporting if no feasible path exists or type constraint is not
matched.
fixed up messages when subsets of types are handled or no path exists.