Add tests (with corresponding bugfixes) for parsing of type specifiers