Spec: add more IDLs