We should either check for int8 (the type used for binary in Theano) or for `var.dtype in discrete_types`