Big improvements for the analyzer

- Now the analyzer can detect instances and class hierarchies even
better because it supports namespace aliases (it will be better
explained in the incoming documentation...)

Anyway, there's a pending fix: new instances' detection finds any file
which has a class with the same name (but this will be fixed soon!).