Improvements to PHP's type system in userland: generics, typed lists, tuples and structs - View it on GitHub