General rework of the existing test suite: clarifying existing tests, removing duplicated checks, arranging files into more logical structure. Providing documentation to existing tests. Adding more elements to the language specification.