Document restriction on subclassing builtins