Library to make PHP a strong typed language