added record patterns and list patterns in cases, and tests
creating wrapper module for definitions. removing some unused language pragmas.