Add the NatBool example