Added char as a numeric type

Added char as a numeric type; added better assert message for array diff
Added Chamois bdd

Simple bdd wrapper for Chamois