PHP OO: interface and type check