Stern lets you built type-safe PHP projects, even if your project's users aren't writing type-safe code - View it on GitHub