Simple, flexible type-checking for PHP.