dec isBit : Bin -> Bool;
var b: Bin;
def isBit("0") = "True";
    isBit("1") = "True";
    isBit(b) = "False";