Richer class names and introduction of "classtypes"

[HelloLudger]

Currently the system is VERY restricted about which classnames are allowed. This will allow a lot of characters and allows to have the classname in quotes:

class someclass {}
class §$noQuotes|_:;~#!§$()[]+-*\/,| {}
class "inQuotes" {}
class "AZaz09 |_:;~#!§$()[]+-*\/,{}|" {}

[HelloLudger]

"class types"

class "withDescr1" <<something>>
class "withDescr2" <<some { } thing>> {
}

becomes

class withDescr1
# was typed as <<something>>

class withDescr2
# was typed as <<some { } thing>>