Add summary to end of test runs.
Remove a lot of silly rules copied from the LRM grammar.

All they did was mask obvious ambiguities and generally add to the confusion.
Added program body.
Added tests for sequence and properties.
Minor cleanups.