slide: Interpretations of Bool and Nat