Typed PHP, Stronger Types for Cleaner Code