如何在猪中手动创建元组和袋子？

Question

我想制作自己的元组和包，而不是从文件中加载，试验一下，我该怎么做？

我想做点什么：

>> a = {1, 2, 3} as (i: int)
>> describe a;
a: {i: int}
>> dump a;
(1)
(2)
(3)
>> b = a
>> c = cross a, b;
>> describe c;
c: {a::i: int, b::i: int}
>> dump c;
(1,1)
(1,2)
(1,3)
(2,1)
(2,2)
(2,3)
(3,1)
(3,2)
(3,3)

希望我想要做的事情的精神被捕获，如果还有其他一些我不知道的做事方式，这可能就是答案。或者可以提供一些推理，以便我可以相信没有办法这样做，所以我可以放弃尝试。