Currently, Type is available in second parameter of callback via Context.
It may be moved to separate parameter, to be checked by object mapper for specific implementation
Types could be generic and checked by phpstan - useful for anyof, allof, arrayof a listof rules
User can decide to use different Type in callback than the default one, Type checks should allow them. Specific Type is only needed for code completition for user, object mapper does not need them
Currently, Type is available in second parameter of callback via Context.