added more info about the typesystem
added lexical analysis