Internal improvements 2

[rcalicdan]

• Added support for typecheking magic method and property annotation
• Improve generic bound for object pseudo type
• Improve and enhances documentation

Summary of the major bug

• Fixes a false-positive TypeError when validating class-string parameters bounded by pseudo-types (e.g. @template T of object).
  Root Cause
• ParamChecker::resolveClassStringTemplate() executed PHP's native is_a($val, 'object', true). Since 'object' is a pseudo-type keyword rather than a class name, is_a() evaluated to false for valid class-strings.
  Fix
• ParamChecker: Updated resolveClassStringTemplate() to recognize object and mixed pseudo-type bounds without calling is_a().
  Tests: Added GenericTemplateBoundsStressTest.php covering pseudo-type bounds, array shapes, ranges, and default template fallbacks.