SymbolCollectorTypeCheck::checkType(ast::Variable*) handles types. Refactoring TypeSymbol. Implemented TypeSymbol::createMemberLLVMType.