Typed PHP, Stronger Types for Cleaner Code (2014)