PEG rules for nStarTypes and nStarTypesP.  No translation to ast yet.

Also generalise testing function in mmlTestsTheory to handle wider
range of parsing problems.
Translation to AST for nStarTypes and nStarTypesP.
PEG rules and AST translation for nTypeName (LHS of datatype decl)