Added system for testing messages produced by the compiler. Enhanced test cases to include tests of type declarations. Made messages consistent between Allegra0 and Allegra1.