added missing sorts for BuiltinList and BuiltinSet