Now, the semantic analyzer traverses the expressions of the attributes
in the class body. It sets types for all the constants, the easy stuff
like isvoid, comp, etc. Still missing functions, the assign statement,
and the first pass, secondpass of class names.