Automatically infer traitability for non-declared classes

Even if a java class is marked as @Traitable, it may still be necessary to declare it explicitly (e.g. if it is not used directly in any rule pattern).
This declaration is only required to force the engine to evaluate the @Traitable status, which can be done on demand and automatically