Add error report in the type finder

Previously when invalid type not acceptable in the module is found. A
ValueError is raised. Now it has been changed so that DefaultError or
UpdateError will be raised sensibly depending on the actual location of
the problem.