Predicate Base::builtin_class_attribute

Gets the named attribute of built-in class cls

Object builtin_class_attribute(ClassObject cls, string name)