Support for string constants, first semantic lexicon
Rewrite of the syntactic types classes (simplification)