Add unit tests to bool.pl

Also fixes a bit of commenting in the homework and example files.

Also adds an expression evaluator for the expression grammar and another DCG
example (this time for a context-sensitive language) for grins.