`1 == true` should be compile error

[yhara]

1 == true passes type check due to the current definition of Object#==.

Maybe there should be something like self type? (todo: study other languages)

class Object
  def ==(other: self) -> Bool
    ...