https://litexlang.com/doc/How_Litex_Works/Litex_vs_Lean_Set_Theory_Examples