Modern Php Type Safety With Phpstan