added functions to test a parser
changed the way types are parsed
spiced up type classification
cleaned Language.Type