Debruijn/Untyped.v: bool version of betared1