A comprehensive guide of everything related to PHP8.1+ type system and the tools used for static analysis