什么是“this”关键字的Scala类型编程类比？

我正在努力学习Scala中的类型编程，并且发现大多数需要了解类型编程的内容与 the type-level programming wiki page中反映出来的价值编程类似。但是，没有找到这个关键词或自我类型的类比。我怀疑也许没有理由期待这样的事情，但我以为我会问。

例如，我可以在运行时写下面的代表布尔值作为值：

sealed trait BoolVal {
  def not:BoolVal
  def or(that:BoolVal):BoolVal
  def and(that:BoolVal) =
    (this.not or that.not).not
  def imp(that:BoolVal) =
    this.not or that
}
case object TrueVal extends BoolVal {
  override val not = FalseVal
  override def or(that:BoolVal) = TrueVal
}
case object FalseVal extends BoolVal {
  override val not = TrueVal
  override def or(that:BoolVal) = that
}

这里我和imp可以利用这一事实，如果我是一个假对象或正确定义的真实对象，这并不重要。我的TrueVal和FalseVal对象可以继承相同的代码。

我可以做类似的类型编程结构，但是我不明白如何在我的基本特征中定义And和Imp。

sealed trait BoolType {
  type Not <: BoolType
  type Or[That <: BoolType] <: BoolType
  type And[That <: BoolType] = ???
  type Imp[That <: BoolType] = ???
}
sealed trait TrueType extends BoolType {
  override type Not = FalseType
  override type Or[That <: BoolType] = TrueType
}
sealed trait FalseType extends BoolType {
  override type Not = TrueType
  override type Or[That <: BoolType] = That
}

我可以看到，我的类型继承类型并没有什么意义，但肯定会继承抽象类型。有没有办法在我的BoolType中定义And和Impl，或者我必须在各自的TrueType和FalseType特征中定义每个？

trait MyBool extends BoolType{
  type This <: BoolType
}

trait TrueType extends BoolType{
  type This = TrueType
}

!(x && y) == (!x || !y)

!(!x || !y) == !!(x && y) == (x && y)