names = ["def", "fn", "if", "else", "∞", "expect", "observe",
         "return", "match", "integrate", "summate", "product",
         "data", "import"]


names = ["def", "fn", "if", "else", "∞", "expect", "observe",
         "return", "match", "integrate", "summate", "product",
         "data", "import"]
names = ["def", "fn", "if", "else", "∞", "expect", "observe",
         "return", "match", "integrate", "summate", "product",
         "data", "import"]