Just a checkpoint in the current major rewriting for semantics analysis. Working on making the inherited, synthesized, and l-attributed definitions working correctly.