Python 语法设计中的一些分号是否是冗余的 token？例如 if/else/for 语句行末和函数定义行末的那些分号

Python 的语法要求例如 for/while/if/else 语句的行末、函数头行末、类定义行末的地方都要求有分号；可是既然 Python 已经能够通过缩进规则来自动识别代码所在块（ block ），似乎这些地方出现的分号其实是冗余的，可以在设计的时候去掉？

class Building:
  def get_payment():
    if 1 + 1 != 2:
       raise UniverseError
    else:
      for item in self._payment: 
        yield item

# In contrast, if the language doesn't require colons
class Building
  def get_payment()
    if 1 + 1 != 2
      raise UniverseError
    else
      for item in self._payment
        yield item