Semantic analyzer first void test

TypeChecker initial implementation from AstPr (it does nothing).