A simple, extendable type system for php