Add __call__ to Linear to check a solution
Fix a comment
Make true and false print better
Add first pass at translation of build_BDD