Simplify Expression/BDD/TruthTable box methods

Rather than raising a TypeError, these methods will now use the builtin
'bool' function to determine an argument's truthiness.
Add DimacsCNF to pyeda.inter
Normalize format of TypeError messages