@Nullable
    static Binding addReadOnlyAttr(@NotNull FunType cl, String name, @NotNull Type type, Binding.Kind kind, int tag) {
        Binding b = cl.getTable().put(name,
                Builtins.newDataModelUrl("the-standard-type-hierarchy"),
                type, kind, tag);
        b.markSynthetic();
        b.markStatic();
        b.markReadOnly();
        return b;
    }