Typed PHP : stronger types for cleaner code /: stronger types for cleaner code. (2016)