Protocols now properly checked against classes and modules.