TheDevNetwork/PhpTypes not found