Clean up on Typechecker. Comments unnecessery removed.
Last problem solved with static keyword at AstFactoryTC.